1

Propositional discourse logic

Sjur Dyrkolbotn, Michał Walicki
Journal:
Synthese
Year:
2014
Language:
english
File:
PDF, 545 KB
english, 2014
2

RESOLVING INFINITARY PARADOXES

WALICKI, MICHAŁ
Journal:
Journal of Symbolic Logic
Year:
2017
Language:
english
File:
PDF, 238 KB
english, 2017
3

Quantifier-free logic for multialgebraic theories

Yngve Lamo, Michał Walicki
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 803 KB
english, 2003
5

Quantifier-free logic for nondeterministic theories

Yngve Lamo, Michał Walicki
Journal:
Theoretical Computer Science
Year:
2006
Language:
english
File:
PDF, 248 KB
english, 2006
6

Sequence partitioning for process mining with unlabeled event logs

Michał Walicki, Diogo R. Ferreira
Journal:
Data & Knowledge Engineering
Year:
2011
Language:
english
File:
PDF, 802 KB
english, 2011
7

Introduction to Mathematical Logic (Extended Edition) || FRONT MATTER

Walicki, Michał
Year:
2016
Language:
english
File:
PDF, 2.65 MB
english, 2016
9

Reference, paradoxes and truth

Michał Walicki
Journal:
Synthese
Year:
2009
Language:
english
File:
PDF, 368 KB
english, 2009
11

Kernels in digraphs that are not kernel perfect

Sjur Dyrkolbotn, Michał Walicki
Journal:
Discrete Mathematics
Year:
2012
Language:
english
File:
PDF, 288 KB
english, 2012
12

Developing Bounded Reasoning

Michał Walicki, Marc Bezem, Wojtek Szajnkenig
Journal:
Journal of Logic, Language and Information
Year:
2009
Language:
english
File:
PDF, 388 KB
english, 2009
13

Computation Algebras

WALICKI, MICHAL, HAVERAAEN, MAGNE, MELDAL, SIGURD
Journal:
Mathematical Structures in Computer Science
Year:
2001
Language:
english
File:
PDF, 756 KB
english, 2001
14

Expressive power of digraph solvability

Marc Bezem, Clemens Grabmayer, Michał Walicki
Journal:
Annals of Pure and Applied Logic
Year:
2012
Language:
english
File:
PDF, 346 KB
english, 2012
15

Finding kernels or solving SAT

Michał Walicki, Sjur Dyrkolbotn
Journal:
Journal of Discrete Algorithms
Year:
2012
Language:
english
File:
PDF, 331 KB
english, 2012
16

Singular and Plural Nondeterministic Parameters

Walicki, Michal, Meldal, Sigurd
Journal:
SIAM Journal on Computing
Year:
1997
Language:
english
File:
PDF, 340 KB
english, 1997
18

Algebraic approaches to nondeterminism---an overview

Walicki, Michał, Meldal, Sigurd
Journal:
ACM Computing Surveys
Year:
1997
Language:
english
File:
PDF, 843 KB
english, 1997
20

Introduction to Mathematical Logic (Extended Edition) || SETS, FUNCTIONS, RELATIONS

Walicki, Michał
Year:
2016
Language:
english
File:
PDF, 701 KB
english, 2016